pocket volume - German English Dictionary